Golden Mean Siegel Disk Universality and Renormalization

We provide a computer-assisted proof of one the central open questions in one-dimensional renormalization theory -- universality golden-mean Siegel disks. further show that for every function stable manifold fixed point boundary disk is quasicircle which coincides with closure critical orbit, and dynamics on rigid. Furthermore, we extend from analytic maps to two-dimensional dissipative H\'enon-like hyperbolicity result still holds this setting.